[INFO] fetching crate provable-contracts 0.1.1...
[INFO] testing provable-contracts-0.1.1 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065
[INFO] extracting crate provable-contracts 0.1.1 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate provable-contracts 0.1.1
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate provable-contracts 0.1.1
[INFO] tweaked toml for crates.io crate provable-contracts 0.1.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate provable-contracts 0.1.1 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate provable-contracts 0.1.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2f37c028a90cb6daca01db1cd5e4e38898c8cc28a7056e64f82ae8b4f677f4a8
[INFO] running `Command { std: "docker" "start" "-a" "2f37c028a90cb6daca01db1cd5e4e38898c8cc28a7056e64f82ae8b4f677f4a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2f37c028a90cb6daca01db1cd5e4e38898c8cc28a7056e64f82ae8b4f677f4a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f37c028a90cb6daca01db1cd5e4e38898c8cc28a7056e64f82ae8b4f677f4a8", kill_on_drop: false }`
[INFO] [stdout] 2f37c028a90cb6daca01db1cd5e4e38898c8cc28a7056e64f82ae8b4f677f4a8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5f93b958536a7fc6b5cb7f57e964d629d448b4d64238c6b5dd74b8a216ae0380
[INFO] running `Command { std: "docker" "start" "-a" "5f93b958536a7fc6b5cb7f57e964d629d448b4d64238c6b5dd74b8a216ae0380", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.116
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling provable-contracts v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.09s
[INFO] running `Command { std: "docker" "inspect" "5f93b958536a7fc6b5cb7f57e964d629d448b4d64238c6b5dd74b8a216ae0380", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f93b958536a7fc6b5cb7f57e964d629d448b4d64238c6b5dd74b8a216ae0380", kill_on_drop: false }`
[INFO] [stdout] 5f93b958536a7fc6b5cb7f57e964d629d448b4d64238c6b5dd74b8a216ae0380
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cd09772a0226680401a257e904b9cb722f97413d25a81e04515cea706104deb9
[INFO] running `Command { std: "docker" "start" "-a" "cd09772a0226680401a257e904b9cb722f97413d25a81e04515cea706104deb9", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling tempfile v3.25.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling provable-contracts v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 22.19s
[INFO] running `Command { std: "docker" "inspect" "cd09772a0226680401a257e904b9cb722f97413d25a81e04515cea706104deb9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cd09772a0226680401a257e904b9cb722f97413d25a81e04515cea706104deb9", kill_on_drop: false }`
[INFO] [stdout] cd09772a0226680401a257e904b9cb722f97413d25a81e04515cea706104deb9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 522a330bc3a1ec3a338f07bb7c766b99844b0e02aa74f43488e4d73d11df6d02
[INFO] running `Command { std: "docker" "start" "-a" "522a330bc3a1ec3a338f07bb7c766b99844b0e02aa74f43488e4d73d11df6d02", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/provable_contracts-a64c99ed2ebddc51)
[INFO] [stdout] 
[INFO] [stdout] running 608 tests
[INFO] [stdout] test audit::tests::audit_minimal_contract ... ok
[INFO] [stdout] test audit::tests::binding_audit_multiple_contracts ... ok
[INFO] [stdout] test audit::tests::audit_warns_on_no_obligations ... ok
[INFO] [stdout] test audit::tests::binding_audit_partial_status ... ok
[INFO] [stdout] test audit::tests::audit_complete_contract ... ok
[INFO] [stdout] test audit::tests::binding_audit_not_implemented ... ok
[INFO] [stdout] test binding::tests::impl_status_display ... ok
[INFO] [stdout] test audit::tests::binding_audit_missing_equation ... ok
[INFO] [stdout] test audit::tests::binding_audit_all_implemented ... ok
[INFO] [stdout] test binding::tests::parse_minimal_binding ... ok
[INFO] [stdout] test binding::tests::parse_invalid_binding_yaml ... ok
[INFO] [stdout] test binding::tests::parse_binding_with_entries ... ok
[INFO] [stdout] test binding::tests::parse_partial_status ... ok
[INFO] [stdout] test binding::tests::parse_binding_nonexistent_file ... ok
[INFO] [stdout] test book_gen::summary::tests::sorts_stems_alphabetically ... ok
[INFO] [stdout] test book_gen::page::tests::optional_sections_omitted_when_empty ... ok
[INFO] [stdout] test book_gen::page::tests::latex_rendering_in_equations ... ok
[INFO] [stdout] test book_gen::page::tests::dependency_graph_rendered ... ok
[INFO] [stdout] test book_gen::summary::tests::empty_stems_produces_empty_section ... ok
[INFO] [stdout] test coverage::tests::binding_missing_when_no_entry ... ok
[INFO] [stdout] test book_gen::page::tests::generates_title_and_equations ... ok
[INFO] [stdout] test coverage::tests::multiple_contracts ... ok
[INFO] [stdout] test coverage::tests::obligation_type_breakdown ... ok
[INFO] [stdout] test coverage::tests::empty_contracts ... ok
[INFO] [stdout] test build_helper::tests::test_make_env_key_matches_macro_convention ... ok
[INFO] [stdout] test book_gen::summary::tests::appends_when_no_markers ... ok
[INFO] [stdout] test coverage::tests::kani_covered_capped_at_obligations ... ok
[INFO] [stdout] test coverage::tests::no_binding_defaults_to_missing ... ok
[INFO] [stdout] test book_gen::page::tests::pipe_escaped_in_tables ... ok
[INFO] [stdout] test build_helper::tests::test_verify_result_defaults ... ok
[INFO] [stdout] test coverage::tests::single_contract_full_coverage ... ok
[INFO] [stdout] test audit::tests::audit_empty_harness_obligation ... ok
[INFO] [stdout] test coverage::tests::no_tests_zero_coverage ... ok
[INFO] [stdout] test diff::tests::added_falsification_test ... ok
[INFO] [stdout] test diff::tests::added_obligation ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_implemented ... ok
[INFO] [stdout] test diff::tests::section_diff_is_empty ... ok
[INFO] [stdout] test diff::tests::semver_bump_display ... ok
[INFO] [stdout] test diff::tests::removed_equation ... ok
[INFO] [stdout] test diff::tests::version_change_is_patch ... ok
[INFO] [stdout] test error::tests::contract_error_invalid_reference ... ok
[INFO] [stdout] test diff::tests::enforcement_added ... ok
[INFO] [stdout] test error::tests::contract_error_io ... ok
[INFO] [stdout] test diff::tests::removed_obligation_is_major ... ok
[INFO] [stdout] test error::tests::contract_error_missing_field ... ok
[INFO] [stdout] test diff::tests::identical_contracts ... ok
[INFO] [stdout] test error::tests::contract_error_schema ... ok
[INFO] [stdout] test error::tests::violation_display_error ... ok
[INFO] [stdout] test error::tests::violation_display_info ... ok
[INFO] [stdout] test error::tests::contract_error_duplicate_id ... ok
[INFO] [stdout] test error::tests::violation_display_warning ... ok
[INFO] [stdout] test generate::tests::artifact_kind_display ... ok
[INFO] [stdout] test generate::tests::file_names_use_stem ... ok
[INFO] [stdout] test graph::tests::external_dependency_added_to_nodes ... ok
[INFO] [stdout] test graph::tests::graph_nodes_metadata ... ok
[INFO] [stdout] test graph::tests::linear_chain ... ok
[INFO] [stdout] test graph::tests::single_node_no_deps ... ok
[INFO] [stdout] test graph::tests::topo_order_respects_deps ... ok
[INFO] [stdout] test kani_gen::tests::generate_empty_harnesses ... ok
[INFO] [stdout] test kani_gen::tests::generate_compositional_harness ... ok
[INFO] [stdout] test generate::tests::generate_all_with_binding ... ok
[INFO] [stdout] test kani_gen::tests::generate_bounded_int_harness ... ok
[INFO] [stdout] test graph::tests::cycle_detected ... ok
[INFO] [stdout] test graph::tests::empty_graph ... ok
[INFO] [stdout] test generate::tests::generate_all_without_binding ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_property_in_doc_comment ... ok
[INFO] [stdout] test graph::tests::diamond_dependency ... ok
[INFO] [stdout] test kani_gen::tests::generate_full_softmax_contract ... ok
[INFO] [stdout] test generate::tests::generates_into_subdir ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_with_all_attributes ... ok
[INFO] [stdout] test kani_gen::tests::generate_harness_without_strategy ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_avx2_parity ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_basic ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_ptx_structure ... ok
[INFO] [stdout] test kani_gen::tests::generate_exhaustive_harness ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_shape_preservation ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_negative ... ok
[INFO] [stdout] test coverage::tests::binding_coverage_partial ... ok
[INFO] [stdout] test diff::tests::domain_change_detected ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_avx2_parity ... ok
[INFO] [stdout] test kernels::absolute_position::tests::prop_abs_position_finite ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_large_positive ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_gelu_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_avx2_non_aligned_length ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_zero_pos_is_identity ... ok
[INFO] [stdout] test book_gen::summary::tests::replaces_existing_markers ... ok
[INFO] [stdout] test diff::tests::added_equation ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_negative_to_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_positive_identity ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_zero ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_negative ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_positive ... ok
[INFO] [stdout] test diff::tests::added_kani_harness ... ok
[INFO] [stdout] test diff::tests::changed_formula ... ok
[INFO] [stdout] test kernels::activation::tests::test_relu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_zero ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_entry ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::adamw::tests::avx2_tests::test_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_avx2_parity ... ok
[INFO] [stdout] test kernels::activation::tests::test_ptx_kernels_are_nonempty ... ok
[INFO] [stdout] test kernels::activation::tests::test_silu_ptx_structure ... ok
[INFO] [stdout] test kernels::activation::tests::prop_gelu_zero_at_zero ... ok
[INFO] [stdout] test kernels::adamw::tests::avx2_tests::prop_adamw_avx2_parity ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_target ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_version ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_avx2_parity ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_diagonal_zero ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_negative_bias ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_zero_gradient ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_single_step_known ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_avx2_parity ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_symmetry ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_ptx_structure ... ok
[INFO] [stdout] test kernels::alibi::tests::test_alibi_slopes ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::alibi::tests::prop_alibi_slopes_positive ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_single_query_single_key ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_two_queries_two_keys ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_uniform_scores ... ok
[INFO] [stdout] test kernels::alibi::tests::prop_alibi_output_finite ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_monotonic ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_single ... ok
[INFO] [stdout] test kernels::activation::tests::prop_relu_nonnegative ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_softmax_rows_sum_to_one ... ok
[INFO] [stdout] test kernels::activation::tests::prop_silu_sign_preserving ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_inference ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_sums_to_one ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_avx2_parity_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_inference_differs_from_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_constant_input_training ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_inference_uses_running_stats ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_target ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_version ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_single_sample ... ok
[INFO] [stdout] test kernels::attention::tests::test_softmax_row_uniform ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_multi_channel ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_training_updates_running_stats ... ok
[INFO] [stdout] test kernels::adamw::tests::prop_adamw_gradient_direction ... ok
[INFO] [stdout] test kernels::bias_add::tests::prop_bias_add_finite ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_avx2_parity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_basic ... ok
[INFO] [stdout] test kernels::attention::tests::prop_attention_output_bounded ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_inplace_matches ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_training_finite ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_zero_is_identity ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_avx2_parity ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_ptx_structure ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_broadcast ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_lower_triangular ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_identity_cholesky ... ok
[INFO] [stdout] test kernels::bias_add::tests::test_bias_add_additivity ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_ret ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_target ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_version ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_sigma_zero ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_entry ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_identity ... ok
[INFO] [stdout] test binding::tests::parse_binding_from_file ... FAILED
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_known_values ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_entry ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_ret ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_target ... ok
[INFO] [stdout] test kernels::absolute_position::tests::test_abs_position_oob - should panic ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_bias ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_padding ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_with_stride ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_k_dim - should panic ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_zero_timestep - should panic ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::attention::tests::test_attention_bad_v_dim - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_parity ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_input_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_empty - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_avx2_soft_targets ... ok
[INFO] [stdout] test kernels::batchnorm::tests::test_batchnorm_zero_batch - should panic ... ok
[INFO] [stdout] test kernels::batchnorm::tests::prop_batchnorm_running_var_nonneg ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_mean_mismatch - should panic ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_input_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_single_dimension ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_one_hot ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_params ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_barrier ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_has_shared_memory ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_perfect_prediction ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_nonempty ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_ptx_structure ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_soft_targets ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_uniform_logits ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_avx2_parity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_shift_invariance ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_cross_entropy_second_class ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_empty - should panic ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_three_classes ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_uniform ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_dominant ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_avx2_parity ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_dropped_units_are_zero ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_shape_preservation ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::test_log_softmax_single_element ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_all_dropped ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_eval_is_identity ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_all_kept ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_train_zero_p ... ok
[INFO] [stdout] test kernels::dropout::tests::test_dropout_ptx_structure ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_basic ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_deterministic ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_ptx_structure ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_single ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_oob - should panic ... ok
[INFO] [stdout] test kernels::dropout::tests::prop_dropout_eval_identity ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_batch_conversion ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_inf ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_known_values ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_nan ... ok
[INFO] [stdout] test kernels::embedding::tests::test_embedding_avx2_parity ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_one ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_shift_invariant ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_roundtrip_normal ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_sign_preservation ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_zero ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_ptx_structure ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_sign_preserved ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_nonempty ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_attention_ptx_structure ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_avx2_parity ... ok
[INFO] [stdout] test kernels::f16_convert::tests::prop_f16_roundtrip_normal ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_matches_naive_larger ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_matches_naive_small ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_matches_naive ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_single_tile ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_tile_size_invariance ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_single_element ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_tile_size_one ... ok
[INFO] [stdout] test kernels::flash_attention::tests::test_flash_zero_tile_size - should panic ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_avx2_parity ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_memoryless ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_frozen_state ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_entry ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_ret ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_all_nonpositive ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_q_mismatch - should panic ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_single_step ... ok
[INFO] [stdout] test kernels::flash_attention::tests::prop_flash_output_row_norms_bounded ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_asymptotic_linearity ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_lower_bound ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_version ... ok
[INFO] [stdout] test kernels::adamw::tests::test_adamw_ptx_ret ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::dropout::tests::prop_dropout_train_finite ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_monotonic_positive ... ok
[INFO] [stdout] test kernels::gelu::tests::test_gelu_zero_preservation ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_avx2_parity ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_bad_head_ratio - should panic ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_bad_q_dim - should panic ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_equals_mha_when_heads_match ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_kv_broadcasting ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_ptx_structure ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_single_head_single_pos ... ok
[INFO] [stdout] test kernels::gqa::tests::prop_gqa_mha_equivalence ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_points_mismatch - should panic ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_entry ... ok
[INFO] [stdout] test kernels::gqa::tests::test_gqa_ptx_nonempty ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_target ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_ret ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_ptx_version ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_single_centroid ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_assign_two_clusters ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_avx2_parity ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_empty_cluster ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_known ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::embedding::tests::prop_embedding_output_finite ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_entry ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_ret ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_target ... ok
[INFO] [stdout] test kernels::kmeans::tests::test_kmeans_update_ptx_version ... ok
[INFO] [stdout] test kernels::gqa::tests::prop_gqa_output_finite ... ok
[INFO] [stdout] test kernels::gelu::tests::prop_gelu_positive_nonneg ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_avx2_basic ... ok
[INFO] [stdout] test kernels::gelu::tests::prop_gelu_finite ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_beta_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_constant_input ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_empty_input - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_output_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_gamma_mismatch - should panic ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_entry ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_ret ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_target ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_version ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_simple ... ok
[INFO] [stdout] test kernels::layernorm::tests::test_layernorm_with_affine ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_avx2_parity ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_direction_is_descent ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_gradient_mismatch - should panic ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_entry ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_target ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_ret ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_single_history_entry ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_ptx_version ... ok
[INFO] [stdout] test kernels::lbfgs::tests::test_lbfgs_steepest_descent ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_avx2_parity ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_basic_with_bias ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_shift_invariance ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_batch ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_no_bias ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_linearity ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_ptx_structure ... ok
[INFO] [stdout] test kernels::linear::tests::test_linear_zero_input_returns_bias ... ok
[INFO] [stdout] test kernels::linear::tests::prop_linear_output_finite ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_2x2_known ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_non_aligned ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_small ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_avx2_parity_square ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_avx2_parity ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_a_dim - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_b_dim - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_bad_c_dim - should panic ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_right ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_non_square ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_identity_left ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_zero_matrix ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_structure ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_zero ... ok
[INFO] [stdout] test kernels::ops::tests::dot_basic ... ok
[INFO] [stdout] test kernels::ops::tests::dot_zero ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_basic ... ok
[INFO] [stdout] test kernels::ops::tests::matmul_sv_identity_weights ... ok
[INFO] [stdout] test kernels::ops::tests::score_matrix_basic ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_uniform ... ok
[INFO] [stdout] test kernels::ops::tests::softmax_row_sums_to_one ... ok
[INFO] [stdout] test kernels::matmul::tests::test_matmul_ptx_nonempty ... ok
[INFO] [stdout] test kernels::ops::tests::weighted_accumulate_basic ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_convergence ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_known_2node ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_avx2_parity ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::matmul::tests::prop_matmul_dimensions_correct ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_entry ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_target ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_version ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_uniform_initial ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_zero_mean ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_ptx_ret ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_negative_zero ... ok
[INFO] [stdout] test kernels::pagerank::tests::test_pagerank_zero_n - should panic ... ok
[INFO] [stdout] test kernels::f16_convert::tests::test_f16_avx2_parity ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_avx2_basic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_empty_input - should panic ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_ptx_version ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_gamma_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::conv1d::tests::test_conv1d_avx2_parity ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_known_unit ... ok
[INFO] [stdout] test kernels::cma_es::tests::test_cma_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_output_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_ret ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_rsqrt ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_target ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_version ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_with_gamma ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_zeros_with_eps ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::test_rmsnorm_ptx_entry ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_position_zero ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_parity ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_avx2_small_dim ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_default_base ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_known_rotation ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_odd_dim_panics - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_pair_norm_preserved ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_output_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_position_zero_identity ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_preserves_norm ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_has_params ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_nonempty ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_ptx_structure ... ok
[INFO] [stdout] test kernels::rope::tests::test_rope_zero_dim_panics - should panic ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_temperature_identity ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_log_softmax_exp_sums_to_one ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_avx2_parity ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_basic ... ok
[INFO] [stdout] test kernels::sampling::tests::test_greedy_is_argmax ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_cross_entropy_nonnegative ... ok
[INFO] [stdout] test kernels::sampling::tests::test_temperature_identity ... ok
[INFO] [stdout] test kernels::sampling::tests::test_temperature_scaling ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_cardinality ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_keeps_highest ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_k_renormalizes ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_cumulative ... ok
[INFO] [stdout] test kernels::sampling::tests::test_top_p_minimal_set ... ok
[INFO] [stdout] test kernels::cross_entropy::tests::prop_cross_entropy_finite ... ok
[INFO] [stdout] test kernels::sampling::tests::test_sampling_ptx_structure ... ok
[INFO] [stdout] test kernels::pagerank::tests::prop_pagerank_output_sums_to_one ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_ptx_kernels_are_nonempty ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_negative ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_large_positive ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_output_finite ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_position_zero_identity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_ptx_structure ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_symmetry ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_sigmoid_zero ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_avx2_parity ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_positive ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_ptx_structure ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_zero ... ok
[INFO] [stdout] test kernels::rope::tests::prop_rope_preserves_norm ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_matches_direct ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::test_silu_standalone_negative ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_monotonic ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_sigmoid_in_unit_interval ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_basic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_avx2_non_multiple_of_8 ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_greedy_is_argmax ... ok
[INFO] [stdout] test kernels::gated_delta_net::tests::test_gdn_ptx_target ... ok
[INFO] [stdout] test kernels::sampling::tests::prop_top_k_cardinality ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_empty_input - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_entry ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_bar_sync ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_ret ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_shared_memory ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_target ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_version ... ok
[INFO] [stdout] test kernels::silu_standalone::tests::prop_silu_standalone_sign_preserving ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_ptx_warp_shuffle ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_single_element ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_uniform ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_avx2_parity ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_balanced_braces ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_two_equal ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_entry ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_target ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_ret ... ok
[INFO] [stdout] test kernels::softmax::tests::test_softmax_numerical_stability ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_single_timestep ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_two_timesteps ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_zero_input ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_ptx_version ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_avx2_non_aligned_length ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_avx2_parity ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_empty ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_scale_invariance ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_outputs_in_unit_interval ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_large_positive_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_negative_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_has_three_params ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_nonempty ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_length_mismatch_gate_output - should panic ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_length_mismatch_gate_value - should panic ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_ptx_structure ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_silu_value_at_one ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_zero_gate ... ok
[INFO] [stdout] test kernels::swiglu::tests::test_swiglu_zero_value ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_avx2_parity ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_basic ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_equals_linear_no_bias ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_ptx_structure ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::test_tied_zero_input ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_fails - should panic ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_length_mismatch - should panic ... ok
[INFO] [stdout] test kernels::ulp::tests::test_assert_ulp_eq_passes ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_zero_gate_yields_zero ... ok
[INFO] [stdout] test kernels::ssm::tests::test_ssm_abar_mismatch - should panic ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_order_preservation ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_nan ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_adjacent ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_small_gap ... ok
[INFO] [stdout] test kernels::tied_embeddings::tests::prop_tied_output_finite ... ok
[INFO] [stdout] test latex::tests::test_latex_escape ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_exp ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_greek ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_sqrt ... ok
[INFO] [stdout] test latex::tests::test_replace_func_nested ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_identical ... ok
[INFO] [stdout] test lean_gen::tests::derive_module_name_capitalizes ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_negative_zero ... ok
[INFO] [stdout] test kernels::ulp::tests::test_ulp_distance_sign_mismatch ... ok
[INFO] [stdout] test lean_gen::tests::format_status_report_renders_table ... ok
[INFO] [stdout] test lean_gen::tests::no_lean_obligations_produces_empty ... ok
[INFO] [stdout] test lean_gen::tests::proved_theorem_has_proved_comment ... ok
[INFO] [stdout] test lean_gen::tests::generates_defs_and_theorem_files ... ok
[INFO] [stdout] test probar_gen::tests::generate_equivalence_property_test ... ok
[INFO] [stdout] test probar_gen::tests::generate_falsification_stubs ... ok
[INFO] [stdout] test probar_gen::tests::generate_all_obligation_types ... ok
[INFO] [stdout] test probar_gen::tests::generate_invariant_property_test ... ok
[INFO] [stdout] test probar_gen::tests::generate_mixed_obligations_and_falsification ... ok
[INFO] [stdout] test probar_gen::wired::tests::simple_hash_deterministic ... ok
[INFO] [stdout] test probar_gen::tests::generate_monotonicity_test ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_associativity_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_bound_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_bound_struct_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::emit_imports_deduplicates ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_default_tolerance ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_equivalence_non_simd ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_conservation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_empty_property_name ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_generic_linearity ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_non_softmax_free_fn ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_tensor_method ... ok
[INFO] [stdout] test lean_gen::tests::lean_status_counts_correctly ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_invariant_with_formal ... ok
[INFO] [stdout] test probar_gen::tests::generate_empty_probar_tests ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_monotonicity_tensor_method ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_no_obligations_with_bindings ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_struct_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_monotonicity_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_multiple_obligations_mixed ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_symmetry_obligation ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_no_binding_generates_ignored ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_tensor_method_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_implemented_binding ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_for_no_bindings ... ok
[INFO] [stdout] test proof_status::tests::count_bindings_helper ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_includes_contract_hash ... ok
[INFO] [stdout] test proof_status::tests::format_text_without_classes ... ok
[INFO] [stdout] test proof_status::tests::json_roundtrip ... ok
[INFO] [stdout] test proof_status::tests::level_l1_for_equations_only ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_test_skips_simd_obligations ... ok
[INFO] [stdout] test proof_status::tests::level_l2_for_falsification_covered ... ok
[INFO] [stdout] test proof_status::tests::level_l2_not_enough_tests ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_plus_falsification ... ok
[INFO] [stdout] test proof_status::tests::level_l3_kani_without_enough_tests ... ok
[INFO] [stdout] test proof_status::tests::level_l4_all_lean_proved ... ok
[INFO] [stdout] test proof_status::tests::kernel_class_min_level ... ok
[INFO] [stdout] test proof_status::tests::level_l4_when_bindings_incomplete ... ok
[INFO] [stdout] test proof_status::tests::proof_level_display ... ok
[INFO] [stdout] test proof_status::tests::proof_level_ordering ... ok
[INFO] [stdout] test proof_status::tests::report_empty_contracts ... ok
[INFO] [stdout] test probar_gen::wired::tests::wired_idempotency_struct_method ... ok
[INFO] [stdout] test proof_status::tests::level_l5_lean_plus_all_bound ... ok
[INFO] [stdout] test proof_status::tests::report_single_contract ... ok
[INFO] [stdout] test proof_status::tests::report_with_binding ... ok
[INFO] [stdout] test proof_status::tests::report_with_kernel_classes ... ok
[INFO] [stdout] test proof_status::tests::timestamp_is_populated ... ok
[INFO] [stdout] test latex::tests::test_math_to_latex_operators ... ok
[INFO] [stdout] test proof_status::tests::schema_version_present ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_sums_to_one ... ok
[INFO] [stdout] test proof_status::tests::format_text_produces_output ... ok
[INFO] [stdout] test proof_status::tests::level_l4_partial_lean_stays_l3 ... ok
[INFO] [stdout] test proof_status::tests::truncate_helper ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_avx2_parity ... ok
[INFO] [stdout] test schema::parser::tests::parse_kani_strategies ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_creates_stubs ... ok
[INFO] [stdout] test schema::parser::tests::parse_missing_metadata_returns_error ... ok
[INFO] [stdout] test schema::parser::tests::parse_minimal_contract ... ok
[INFO] [stdout] test schema::types::tests::lean_status_default_is_sorry ... ok
[INFO] [stdout] test schema::parser::tests::parse_obligation_types ... ok
[INFO] [stdout] test schema::types::tests::kani_strategy_display ... ok
[INFO] [stdout] test kernels::softmax::tests::prop_softmax_translation_invariance ... ok
[INFO] [stdout] test schema::parser::tests::parse_contract_with_all_fields ... ok
[INFO] [stdout] test schema::parser::tests::parse_invalid_yaml_returns_error ... ok
[INFO] [stdout] test scaffold::tests::generate_tests_includes_predictions ... ok
[INFO] [stdout] test scaffold::tests::generate_trait_includes_equations ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_falsification_id_is_error ... ok
[INFO] [stdout] test schema::types::tests::lean_status_display ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_formal_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::empty_kani_obligation_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_prediction_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_formula_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_property_is_error ... ok
[INFO] [stdout] test schema::validator::tests::duplicate_kani_id_is_error ... ok
[INFO] [stdout] test schema::types::tests::obligation_type_display ... ok
[INFO] [stdout] test schema::validator::tests::kani_harness_without_bound_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::missing_references_is_error ... ok
[INFO] [stdout] test schema::validator::tests::no_equations_is_error ... ok
[INFO] [stdout] test schema::validator::tests::no_qa_gate_is_warning ... ok
[INFO] [stdout] test schema::validator::tests::valid_contract_has_no_errors ... ok
[INFO] [stdout] test schema::validator::tests::empty_version_is_error ... ok
[INFO] [stdout] test schema::validator::tests::empty_if_fails_is_warning ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_finite_output ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_silu_lower_bound ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_unit_gamma_normalized_rms ... ok
[INFO] [stdout] test kernels::layernorm::tests::prop_layernorm_unit_variance ... ok
[INFO] [stdout] test kernels::swiglu::tests::prop_swiglu_output_bounded ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_finite_output ... ok
[INFO] [stdout] test kernels::rmsnorm::tests::prop_rmsnorm_avx2_parity ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- binding::tests::parse_binding_from_file stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'binding::tests::parse_binding_from_file' (28) panicked at src/binding.rs:169:40:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Io(Os { code: 2, kind: NotFound, message: "No such file or directory" })
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c5d08bebe6a - std[ec4e911328de40a6]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c5d08bebe6a - std[ec4e911328de40a6]::backtrace_rs::backtrace::trace_unsynchronized::<std[ec4e911328de40a6]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c5d08bebe6a - std[ec4e911328de40a6]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c5d08bebe6a - <<std[ec4e911328de40a6]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a96a4c5c53f902a3]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c5d08c03e1a - <core[a96a4c5c53f902a3]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c5d08c03e1a - core[a96a4c5c53f902a3]::fmt::write
[INFO] [stdout]    6:     0x5c5d08bf0bb2 - std[ec4e911328de40a6]::io::default_write_fmt::<alloc[c960326de6de28e6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5c5d08bf0bb2 - <alloc[c960326de6de28e6]::vec::Vec<u8> as std[ec4e911328de40a6]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5c5d08bc8e9f - <std[ec4e911328de40a6]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c5d08bc8e9f - std[ec4e911328de40a6]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c5d08be3809 - std[ec4e911328de40a6]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c5d08b01d6c - <alloc[c960326de6de28e6]::boxed::Box<dyn for<'a, 'b> core[a96a4c5c53f902a3]::ops::function::Fn<(&'a std[ec4e911328de40a6]::panic::PanicHookInfo<'b>,), Output = ()> + core[a96a4c5c53f902a3]::marker::Sync + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::Fn<(&std[ec4e911328de40a6]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x5c5d08b01d6c - test[30c43f9fd66fea90]::test_main_with_exit_callback::<test[30c43f9fd66fea90]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5c5d08be39c2 - <alloc[c960326de6de28e6]::boxed::Box<dyn for<'a, 'b> core[a96a4c5c53f902a3]::ops::function::Fn<(&'a std[ec4e911328de40a6]::panic::PanicHookInfo<'b>,), Output = ()> + core[a96a4c5c53f902a3]::marker::Sync + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::Fn<(&std[ec4e911328de40a6]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x5c5d08be39c2 - std[ec4e911328de40a6]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5c5d08bc8f58 - std[ec4e911328de40a6]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5c5d08bc0699 - std[ec4e911328de40a6]::sys::backtrace::__rust_end_short_backtrace::<std[ec4e911328de40a6]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c5d08bc9c6d - __rustc[aa69f48705c57ca8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5c5d08c045dc - core[a96a4c5c53f902a3]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c5d08c04352 - core[a96a4c5c53f902a3]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x5c5d089b77ff - <core[a96a4c5c53f902a3]::result::Result<provable_contracts[f973045d04c4f307]::binding::BindingRegistry, provable_contracts[f973045d04c4f307]::error::ContractError>>::unwrap
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x5c5d089b77ff - provable_contracts[f973045d04c4f307]::binding::tests::parse_binding_from_file
[INFO] [stdout]                                at /opt/rustwide/workdir/src/binding.rs:169:40
[INFO] [stdout]   22:     0x5c5d089aa827 - provable_contracts[f973045d04c4f307]::binding::tests::parse_binding_from_file::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/binding.rs:166:33
[INFO] [stdout]   23:     0x5c5d088d06e6 - <provable_contracts[f973045d04c4f307]::binding::tests::parse_binding_from_file::{closure#0} as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c5d08af5e4b - <fn() -> core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c5d08af5e4b - test[30c43f9fd66fea90]::__rust_begin_short_backtrace::<core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>, fn() -> core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5c5d08b0283b - test[30c43f9fd66fea90]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5c5d08b0283b - <core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c5d08b0283b - std[ec4e911328de40a6]::panicking::catch_unwind::do_call::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>, core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5c5d08b0283b - std[ec4e911328de40a6]::panicking::catch_unwind::<core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>, core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c5d08b0283b - std[ec4e911328de40a6]::panic::catch_unwind::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<test[30c43f9fd66fea90]::run_test_in_process::{closure#0}>, core[a96a4c5c53f902a3]::result::Result<(), alloc[c960326de6de28e6]::string::String>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c5d08b0283b - test[30c43f9fd66fea90]::run_test_in_process
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5c5d08b0283b - test[30c43f9fd66fea90]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5c5d08afdf54 - test[30c43f9fd66fea90]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5c5d08afdf54 - std[ec4e911328de40a6]::sys::backtrace::__rust_begin_short_backtrace::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c5d08b05442 - std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x5c5d08b05442 - <core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c5d08b05442 - std[ec4e911328de40a6]::panicking::catch_unwind::do_call::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5c5d08b05442 - std[ec4e911328de40a6]::panicking::catch_unwind::<(), core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c5d08b05442 - std[ec4e911328de40a6]::panic::catch_unwind::<core[a96a4c5c53f902a3]::panic::unwind_safe::AssertUnwindSafe<std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c5d08b05442 - std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked::<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x5c5d08b05442 - <std[ec4e911328de40a6]::thread::lifecycle::spawn_unchecked<test[30c43f9fd66fea90]::run_test::{closure#1}, ()>::{closure#1} as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c5d08beb25f - <alloc[c960326de6de28e6]::boxed::Box<dyn core[a96a4c5c53f902a3]::ops::function::FnOnce<(), Output = ()> + core[a96a4c5c53f902a3]::marker::Send> as core[a96a4c5c53f902a3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   43:     0x5c5d08beb25f - <std[ec4e911328de40a6]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0abe69e6c16114311cc2700e972492e64d69c28f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x739a635adaa4 - <unknown>
[INFO] [stdout]   45:     0x739a6363aa64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     binding::tests::parse_binding_from_file
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 607 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.66s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "522a330bc3a1ec3a338f07bb7c766b99844b0e02aa74f43488e4d73d11df6d02", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "522a330bc3a1ec3a338f07bb7c766b99844b0e02aa74f43488e4d73d11df6d02", kill_on_drop: false }`
[INFO] [stdout] 522a330bc3a1ec3a338f07bb7c766b99844b0e02aa74f43488e4d73d11df6d02
